mu'($A$;$P$;$d$)($x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(TERMOF\{p{-}mu{-}decider:ObjectId, 1:l, 1:l\}($A$,$P$,$d$,$x$)).1